nondeterministic finite automaton
NFA
#formal_language_theory
#incomplete
DFA
<- back